iT邦幫忙

2017 iT 邦幫忙鐵人賽
DAY 4
2
自我挑戰組

跨界的追尋:trace 30個基本Linux系統呼叫系列 第 4

trace 30個基本Linux系統呼叫第四日:open

  • 分享至 

  • xImage
  •  

前情提要

我們在前兩天分別以終端機上的標準輸入輸出作為writeread的範例說明,從系統呼叫本體追蹤到虛擬檔案系統層(vfs_xxx),再到終端機專屬的tty_xxx函式,再下一層到描述終端機line discipline的部份打住。過程中,無論標準輸入輸出看起來再如何不像檔案操作,我們都可以發現在抽象的意涵以及核心的實作上,終端機都透過某些機制被視為開啟的檔案被讀寫。這是如何作到的?且看今日的open系統呼叫。


開啟

按照慣例來看看這個玩意的標準定義,想必已經成為系列讀者的直覺了。但是這次可以明顯的發現,POSIX版本和Linux版本的手冊有些可以一眼看出的差異。先看POSIX版本:

NAME
       open, openat — open file relative to directory file descriptor

SYNOPSIS
       #include <sys/stat.h>
       #include <fcntl.h>

       int open(const char *path, int oflag, ...);
       int openat(int fd, const char *path, int oflag, ...);

這則是Linux版本:

NAME
       open, openat, creat - open and possibly create a file

SYNOPSIS
       #include <sys/types.h>
       #include <sys/stat.h>
       #include <fcntl.h>

       int open(const char *pathname, int flags);
       int open(const char *pathname, int flags, mode_t mode);

       int creat(const char *pathname, mode_t mode);

       int openat(int dirfd, const char *pathname, int flags);
       int openat(int dirfd, const char *pathname, int flags, mode_t mode);

   Feature Test Macro Requirements for glibc (see feature_test_macros(7)):
   ...

Linux給的API有兩種open,分別取得兩個或三個參數;而POSIX標準則給了一個...。如果沒有詳閱手冊內容(如同筆者一樣),會沒有辦法看出其間的奧妙所在。其實兩者都把可能出現的第三個參數存在的理由放置在O_CREAT的說明中,因為開啟檔案的時候會需要設定這個檔案的屬性,也就是當使用者執行指令

$ ls -l

的時候,會看見的那一串存取控制清單(Access Control List)。說來慚愧,筆者是先在freebsd的open(2)手冊中找到的,因為它們的SYNOPSIS後緊接著的DESCRIPTION開宗明義就說明了額外參數的需要情境;反回來對照這兩者,才看出端倪。也就是說,其實Linux版本的手冊,也就只是把那種例外狀況列出來而已。

使用者空間如何使用到open呢?其實就在標準函式庫的fopen之中,比方說也會一起上傳到github的這份程式碼:

#include<stdio.h>

int main(){
	FILE *fp[6];

	fp[0] = fopen("/tmp/r.txt", "r");
	fp[1] = fopen("/tmp/r+.txt", "r+");
	fp[2] = fopen("/tmp/w.txt", "w");
	fp[3] = fopen("/tmp/w+.txt", "w+");
	fp[4] = fopen("/tmp/a.txt", "a");
	fp[5] = fopen("/tmp/a+.txt", "a+");

	fclose(fp[0]);
	fclose(fp[1]);
	fclose(fp[2]);
	fclose(fp[3]);
	fclose(fp[4]);
	fclose(fp[5]);
	return 0;
}

使用前請記得先創好/tmp/r*.txt這兩個文件,否則在fclose的時候會出問題。使用strace觀察這個程式的運行,就會看到本日主角open在其中扮演的角色,

...
open("/tmp/r.txt", O_RDONLY)            = 3
open("/tmp/r+.txt", O_RDWR)             = 4
open("/tmp/w.txt", O_WRONLY|O_CREAT|O_TRUNC, 0666) = 5
open("/tmp/w+.txt", O_RDWR|O_CREAT|O_TRUNC, 0666) = 6
open("/tmp/a.txt", O_WRONLY|O_CREAT|O_APPEND, 0666) = 7
lseek(7, 0, SEEK_END)                   = 0
open("/tmp/a+.txt", O_RDWR|O_CREAT|O_APPEND, 0666) = 8
close(3)                                = 0
close(4)                                = 0
close(5)                                = 0
close(6)                                = 0
close(7)                                = 0
close(8)                                = 0
...

對比於fopen(2)手冊中的各個flag說明的話:

       r      Open text file for reading.  The stream is positioned at the beginning of the file.

       r+     Open for reading and writing.  The stream is positioned at the beginning of the file.

       w      Truncate file to zero length or create text file for writing.  The stream is positioned at the  beginning  of
              the file.

       w+     Open  for  reading  and  writing.   The file is created if it does not exist, otherwise it is truncated.  The
              stream is positioned at the beginning of the file.

       a      Open for appending (writing at end of file).  The file is created if it does not exist.  The stream is  posi‐
              tioned at the end of the file.

       a+     Open for reading and appending (writing at end of file).  The file is created if it does not exist.  The ini‐
              tial file position for reading is at the beginning of the file, but output is always appended to the  end  of
              the file.

就會發現這些O_*的flag意義一目了然了。


靜態追蹤

open系統呼叫位於fs/open.c之中,

1049 SYSCALL_DEFINE3(open, const char __user *, filename, int, flags, umode_t, mode)
1050 {
1051         if (force_o_largefile())
1052                 flags |= O_LARGEFILE;
1053 
1054         return do_sys_open(AT_FDCWD, filename, flags, mode);
1055 }
1056 
1057 SYSCALL_DEFINE4(openat, int, dfd, const char __user *, filename, int, flags,
1058                 umode_t, mode)
1059 {
1060         if (force_o_largefile())
1061                 flags |= O_LARGEFILE;
1062 
1063         return do_sys_open(dfd, filename, flags, mode);
1064 }

一開始的是否強制開啟為大檔案的判斷,進去看了一下發現目前的判斷僅有一些CPU架構的32或64bit的區分,do_sys_open才是核心的部份。之所以有do_sys_open這樣的設計,是因為openopenat(甚至還有為了歷史相容性而維護的creat)都使用類似的功能,能夠共用的底層程式碼佔據了大部分的緣故。為了理解AT_FDCWD這個參數,我們多引入了openat的實作部份作為參考。

open可以很容易的理解為給定路徑名稱、開啟檔案模式、以及存取權限,回傳一個代表該檔案的檔案描述子的過程。其中給定的路徑如果是絕對的,那麼要存取哪個檔案對核心來說是很明確的;若是相對路徑,則要有一個相對的參考點。在open的情況,這個參考點就是當前目錄,openat的功能則是讓使用者可以選擇傳入參考點的檔案描述子。在這個階段,兩個系統呼叫只有一個參數的差異的原因也就不難理解了。

所以就看看do_sys_open吧!比起以往所見的函數,這個算是有點份量的,於是筆者在這裡先行拆分,這是第一個部份:

1021 long do_sys_open(int dfd, const char __user *filename, int flags, umode_t mode)
1022 {
1023         struct open_flags op;
1024         int fd = build_open_flags(flags, mode, &op);
1025         struct filename *tmp;
1026 
1027         if (fd)
1028                 return fd;

筆者在這第一段有點不太舒服的感覺,與過去trace其他部份的時候的美麗與和諧感有些出入。主要是因為fd這個變數的宣告,顯然是為了之後要回傳一個可用的檔案描述子而設的存放空間,然而這裡的build_open_flags,也就是把flags或是可能會需要的權限模式mode打包成一個struct open_flags結構。既然已經打包在op變數,那麼為什麼在這時候回傳給fd呢?搭配1027等兩行的描述,如果fd有東西則回傳,乍看之下令人以為這裡有一個捷徑可以根據檔名查找以存在的檔案描述子,但**事實上只是將這個變數拿來兼用,回傳可能出現的錯誤訊息,以及正常則繼續的意義。**仍然是可以接受啦,因為仔細想想,如果要給一個變數給這個打包開啟flag的過程,真的也是蠻浪費的。

但還是有令人不爽的地方,比方說op一直都是operations的慣例縮寫,這裡也許opf比較妥當吧?還有必須小心的是,tmp變數的型別是struct filename的指標,這和傳入的使用者空間字串filename是不同的東西。

1029 
1030         tmp = getname(filename);
1031         if (IS_ERR(tmp))
1032                 return PTR_ERR(tmp);
1033 
......
1045         putname(tmp);
1046         return fd;
1047 }

筆者將中間部份先行挖空,突顯出這個函數頭尾的get/put結構。getname必須要將使用者空間字串變化為一個核心空間的filename結構,詳細過程在fs/namei.c裡面的getname_flags函數,這裡就簡單描述一下。首先透過audit系統的輔助,有機會能夠存取先前的紀錄而快速根據檔名取得一個struct filename物件。若是沒有這個捷徑可走,則老實的配置記憶體、複製檔名字串,並將這個物件的存取數設為一。期間當然有許多錯誤判斷如檔名過長之類的。

putname是個相對的呼叫,裡面有一個最近讓Linus Torvalds抓狂BUG_ON,設定在存取數小於等於零的狀況。存取數減一之後若仍大於零,則直接回傳。最後剩下的是存取數為零的情況,這時候就該把傳入的結構free掉了。

1034         fd = get_unused_fd_flags(flags);
1035         if (fd >= 0) {
1036                 struct file *f = do_filp_open(dfd, tmp, &op);
1037                 if (IS_ERR(f)) {
1038                         put_unused_fd(fd);
1039                         fd = PTR_ERR(f);
1040                 } else {
1041                         fsnotify_open(f);
1042                         fd_install(fd, f);
1043                 }
1044         }

在這之間是真正把開啟的檔案對應到檔案描述子的過程。首先透過get_unused_fd_flags取得未使用的fd,正如前段顯示的strace片段一般,通常open的結果就是從3開始依序增加,因為0~2都有標準介面使用了。這個函數在fs/file.c之中,

560 int get_unused_fd_flags(unsigned flags)                                                                                                   
561 {             
562         return __alloc_fd(current->files, 0, rlimit(RLIMIT_NOFILE), flags);
563 }             

緊接著呼叫的是某個雙底線開頭的內部介面,這樣的模式我們已經看過很多次了,通常這是在提示我們,這個功能有些內部的構造可以為多個介面共享,因而是個更基本的函數。__alloc_fd的註簡潔地解說這是一個配置一個檔案描述子並設之為忙碌的函數,傳入的參數有昨天見過的current->files,也就是一個程序的開啟檔案狀態;第二個及第三個參數代表的是從0開始、至RLIMIT_NOFILE(可開啟檔案上限)結束,想必有用過使用者空間的rlimit指令的讀者對這個概念並不陌生;第四個參數也是照樣傳入。判別是否有單一程序開啟檔案過多的錯誤回傳也是在這個部份完成的。

接下來是do_flip_open,前兩個參數可以組合成從根目錄開始的絕對路徑,確保一定能夠存取到這個檔案;op則是之前組合好的,用來代表使用者想要開啟該檔案的狀態。若是成功的話會進入else的部份,fsnotify_open知會檔案系統有一個開啟事件(其內包含一個知會所有parent的traverse,以及一個fsnotify函數),然後提取昨日提過的fdtable結構體並安插f到指定的fd之中,並且回傳這個fd,這便是使用者空間能夠透過open呼叫取得的整數了。fopen透過open取得了這個值之後,將之打包數層以及結合C library提供的buffer功能成為struct FILE。這個部份的內部實作有點複雜,略去的部份頗多,有機會的話再一齊檢視。


動態追蹤:觀察一般的檔案寫入

考慮以下程式:

#include<sys/types.h>
#include<sys/stat.h>
#include<fcntl.h>
#include<unistd.h>
#include<stdio.h>

int main(){
	int fd = open("/home/noner/test", O_RDWR | O_TRUNC | O_CREAT, 0777);
	printf("openning file descriptor %d\n", fd);
	write(fd, "Hello World!\n", 13);
	return 0;
}

這個程式在執行時創建的/home/noner/test檔案位於一個ext4檔案系統中。動態追蹤由它開啟的fd,到write之類的路徑會與之前嘗試的終端機程式有所不同。在某個時間點按下Ctrl+C可以中斷kernel的debug,然後可以下中斷點如:

Continuing.
^C
Thread 5 received signal SIGINT, Interrupt.
native_safe_halt () at ./arch/x86/include/asm/irqflags.h:50
50	}
(gdb) b sys_write if fd == 3 && count == 13
Breakpoint 1 at 0xffffffff8122d260: file fs/read_write.c, line 599.
(gdb) cont
Continuing.
[Switching to Thread 3]

Thread 3 hit Breakpoint 1, SyS_write (fd=3, buf=4195986, count=13) at fs/read_write.c:599
599	SYSCALL_DEFINE3(write, unsigned int, fd, const char __user *, buf,
(gdb) x/s buf
0x400692:	"Hello World!\n"

之所以可以用fd == 3當條件,是因為這個程式很單純以至於我們幾乎可以確定這個新開啟的檔案便是3。經過一些操作之後抵達了上次的關口處,

 506 ssize_t __vfs_write(struct file *file, const char __user *p, size_t count,
 507                     loff_t *pos)
 508 {      
 509         if (file->f_op->write)
 510                 return file->f_op->write(file, p, count, pos);
 511         else if (file->f_op->write_iter)
 512                 return new_sync_write(file, p, count, pos);
 513         else
 514                 return -EINVAL;
 515 }

這次不會在510進入tty_write了,而會走512行的new_sync_write

 488 static ssize_t new_sync_write(struct file *filp, const char __user *buf, size_t len, loff_t *ppos)
 489 {                       
 490         struct iovec iov = { .iov_base = (void __user *)buf, .iov_len = len };
 491         struct kiocb kiocb;
 492         struct iov_iter iter;
 493         ssize_t ret;    
 494                         
 495         init_sync_kiocb(&kiocb, filp);
 496         kiocb.ki_pos = *ppos;
 497         iov_iter_init(&iter, WRITE, &iov, 1, len);
 498                         
 499         ret = filp->f_op->write_iter(&kiocb, &iter);
 500         BUG_ON(ret == -EIOCBQUEUED);                                                                                                     
 501         if (ret > 0)    
 502                 *ppos = kiocb.ki_pos;
 503         return ret;     
 504 }                       

可見499行的類似的呼叫方式,這會導引到fs/ext4/file.cext4_file_write_iter當中。


結論

這次雖然在核心空間中找到許多使用者空間的經驗的對應,但在追蹤的過程還是跳過了許多部份,包含fsnotify的實質意義,以及終端機相關的謎底都尚未揭曉。不僅僅是受限於篇幅,也受限於筆者的能力。在明日的close當中,除了對其本身基本的了解之外,我們要來探索每個console程序在啟動時就已經能夠大方地使用0~2作為標準介面的原因。

感謝各位讀者邦友,我們明天再會。


上一篇
trace 30個基本Linux系統呼叫第三日:read
下一篇
trace 30個基本Linux系統呼叫第五日:close
系列文
跨界的追尋:trace 30個基本Linux系統呼叫30
圖片
  直播研討會
圖片
{{ item.channelVendor }} {{ item.webinarstarted }} |
{{ formatDate(item.duration) }}
直播中

尚未有邦友留言

立即登入留言